library(here)
library(readxl)
#library(papeR)
#library(outliers)
library(kableExtra)
#library(DataExplorer)
library(lubridate)
library(forecast)
library(nlme)
#library(nortest)
library(ggfortify)
library(dygraphs)
#library(seasonal)
#library(seasonalview)

library(nonlinearTseries)
library(fNonlinear)
library(fGarch)
library(TSA)
library(tsDyn)

library(tidyverse)

Rutas

raw_data <- here("data", "raw")
interim_data <- here("data", "interim")
final_data <- here("data", "processed")

Leyendo base de datos

base <- read_excel(paste0(raw_data,"/Base Datos.xlsx"), 
    col_types = c("text", "numeric", "numeric"))

head(base)

Extrayendo la base de dolares y de dolares

dolares <- data_frame(date = base$`Activo neto`,
                  dol =  as.double(base$USD)) %>%
  mutate(date = ymd(paste0(date, "-01"))) %>%
  mutate(year = as.factor(year(date)),
         month = as.factor(month(date)))

head(dolares)

Convirtiendo los datos a series de tiempo

# dolares

# 6 periodos para utilizar a modo de validación
dolares_val <- dolares %>% 
  slice_tail(n = 6)

# Serie completa para el analisis exploratorio
dolares_full <- dolares

# 10 años de datos para modelar
dolares <- dolares %>% 
  filter(date>"2007-12-01" & date<="2020-01-01")

# Objetos ts tanto para la serie completa como para la serie de modelado
dolares_ts_full <- ts(dolares_full$dol, start = c(2001,2), frequency = 12)
dolares_ts <- ts(dolares$dol, start = c(2008,1), frequency = 12)
dolares_ts_val <- tail(dolares_ts_full, 6)

1 Comprobacion de linealidad de la serie

1.1 Prueba de linealidad de la media


# Null hypothesis: Linearity in "mean"
tnnTest(dolares_ts, lag = 1, title = NULL, description = NULL)

Title:
 Teraesvirta Neural Network Test

Test Results:
  PARAMETER:
    lag: 1
    m|df: 2
    t-lag-m|df: 142
  STATISTIC:
    Chi-squared: 6.55
    F: 3.2808
  P VALUE:
    Chi-squared: 0.03782 
    F: 0.04047 

Description:
 Thu Sep 10 22:21:31 2020 by user: 

La hipótesis nula del Teraesvirta Neural Network Test es que la media de la serie es lineal. Al rechazarse la hipótesis con una confianza del 95% se puede decir que la serie es no lineal.

1.2 Prueba para determinar si es caotica o no

options(max.print=1000000)
rqa.analysis=rqa(time.series = dolares_ts, embedding.dim=1, time.lag=1,radius=0.01,lmin=2,vmin=2,do.plot=TRUE,distanceToBorder=2)

2. Inspección

# Una forma visual de empezar a revisar si existen o no clusters de volatilidad 

dolares_ts_nd <-diff(log(dolares_ts))


dolares_ts_nd2<-dolares_ts_nd-mean(dolares_ts_nd) # Es el cambio relativo ajustado por la media en el tipo de cambio 
#dolares_ts_nd2

dolares_ts_nd3<-dolares_ts_nd2^2 # Medida de la volatilidad. Al ser una cantidad al cuadrado, su valor ser? alto en periodos en que se experimenten grandes cambios  y comparativamente peque?o cuando sucedan cambios modestos en los precios de dichos bienes. 

plot(dolares_ts_nd3)

En este gráfico de la serie ajustada por la media y elevada al cuadrado se pretende observar la volatilidad de la misma. Al ser una cantidad al cuadrado, cuando su valor ses alto en indica que se experimenten grandes cambios y comparativamente pequeño cuando sucedan cambios modestos en los precios de dichos bienes. Es así que es claro que después del 2008, alrededor del 2010 y en el 2013 es donde se presentan los mayores cambios comparativos y es efectivamente en donde se identifican crisis económicas que llevaron a la gente a buscar estas opciones de inversión.

plot(dolares_ts_nd,type="l"); abline(h=0)

qqnorm(dolares_ts_nd); qqline(dolares_ts_nd)

acf(as.vector(dolares_ts_nd))

pacf(as.vector(dolares_ts_nd))

#Graficos para corroborar independencia(ruido blanco) que es diferente de correlaci?n (medida de dependencia lineal).
#Ho:residuos son independientes

acf(dolares_ts_nd^2)

pacf(dolares_ts_nd^2)


acf(abs(dolares_ts_nd))

pacf(abs(dolares_ts_nd))

En este caso algunas estacas se salen (algunas autocorrelaciones son significativas) y por tanto los rendimientos no son independientes ni identicamente distribuidos. Las autocorrelaciones significativas de los rendimientos al cuadrado o en términos absolutos reflejan la existencia de agrupamiento de volatilidad.

#McLeod.Li (Box-Ljung) test muestra una evidencia fuerte de heterocedasticidad condicional(p-value significativo). 
TSA::McLeod.Li.test(y=dolares_ts_nd)

Además, a partir del test de McLeod.Li (Box-Ljung) se muestra evidencia fuerte de heterocedasticidad condicional ya que varios p-value son significativos.

3. Modelos

3.1 GARCH

garch_mod <- garchFit(~arma(0,0)+garch(1,1), data=dolares_ts_nd,include.mean = FALSE)

Series Initialization:
 ARMA Model:                arma
 Formula Mean:              ~ arma(0, 0)
 GARCH Model:               garch
 Formula Variance:          ~ garch(1, 1)
 ARMA Order:                0 0
 Max ARMA Order:            0
 GARCH Order:               1 1
 Max GARCH Order:           1
 Maximum Order:             1
 Conditional Dist:          norm
 h.start:                   2
 llh.start:                 1
 Length of Series:          144
 Recursion Init:            mci
 Series Scale:              0.07852679

Parameter Initialization:
 Initial Parameters:          $params
 Limits of Transformations:   $U, $V
 Which Parameters are Fixed?  $includes
 Parameter Matrix:
 Index List of Parameters to be Optimized:
 omega alpha1  beta1 
     2      3      5 
 Persistence:                  0.9 


--- START OF TRACE ---
Selected Algorithm: nlminb 

R coded nlminb Solver: 

  0:     205.61475: 0.100000 0.100000 0.800000
  1:     205.43217: 0.109958 0.0990399 0.807857
  2:     205.21550: 0.109406 0.0867192 0.804739
  3:     204.82498: 0.125244 0.0698920 0.815383
  4:     204.72240: 0.135542 0.0209029 0.824502
  5:     204.48753: 0.184347 0.00695293 0.820955
  6:     204.33288: 0.211453 0.0115362 0.778136
  7:     204.29614: 0.172368 0.0155603 0.810467
  8:     204.28448: 0.156327 0.0208586 0.821820
  9:     204.27178: 0.122608 0.0206070 0.855240
 10:     204.27069: 0.122959 0.0207417 0.855573
 11:     204.27011: 0.123074 0.0202577 0.855642
 12:     204.26812: 0.125112 0.0185096 0.855599
 13:     204.26796: 0.124847 0.0177023 0.856713
 14:     204.26795: 0.125316 0.0177612 0.856194
 15:     204.26795: 0.125235 0.0177596 0.856275
 16:     204.26795: 0.125236 0.0177593 0.856275

Final Estimate of the Negative LLH:
 LLH:  -162.1135    norm LLH:  -1.125788 
       omega       alpha1        beta1 
0.0007722607 0.0177593449 0.8562746624 

R-optimhess Difference Approximated Hessian Matrix:
             omega      alpha1       beta1
omega  -87090880.9 -520359.912 -534764.923
alpha1   -520359.9   -3752.424   -3245.468
beta1    -534764.9   -3245.468   -3319.657
attr(,"time")
Time difference of 0.01039481 secs

--- END OF TRACE ---


Time to Estimate Parameters:
 Time difference of 0.1755028 secs
summary(garch_mod)

Title:
 GARCH Modelling 

Call:
 garchFit(formula = ~arma(0, 0) + garch(1, 1), data = dolares_ts_nd, 
    include.mean = FALSE) 

Mean and Variance Equation:
 data ~ arma(0, 0) + garch(1, 1)
<environment: 0x7ff522bb3a80>
 [data = dolares_ts_nd]

Conditional Distribution:
 norm 

Coefficient(s):
     omega      alpha1       beta1  
0.00077226  0.01775934  0.85627466  

Std. Errors:
 based on Hessian 

Error Analysis:
        Estimate  Std. Error  t value Pr(>|t|)    
omega  0.0007723   0.0010342    0.747    0.455    
alpha1 0.0177593   0.0417714    0.425    0.671    
beta1  0.8562747   0.1764943    4.852 1.22e-06 ***
---
Signif. codes:  0 ‘***’ 0.001 ‘**’ 0.01 ‘*’ 0.05 ‘.’ 0.1 ‘ ’ 1

Log Likelihood:
 162.1135    normalized:  1.125788 

Description:
 Thu Sep 10 22:23:35 2020 by user:  


Standardised Residuals Tests:
                                Statistic p-Value   
 Jarque-Bera Test   R    Chi^2  2.496111  0.2870624 
 Shapiro-Wilk Test  R    W      0.9929834 0.7046679 
 Ljung-Box Test     R    Q(10)  13.40665  0.2018155 
 Ljung-Box Test     R    Q(15)  21.8283   0.1123856 
 Ljung-Box Test     R    Q(20)  31.40617  0.05005161
 Ljung-Box Test     R^2  Q(10)  6.433964  0.7775818 
 Ljung-Box Test     R^2  Q(15)  10.35613  0.7967609 
 Ljung-Box Test     R^2  Q(20)  12.30276  0.9052611 
 LM Arch Test       R    TR^2   6.194549  0.9059588 

Information Criterion Statistics:
      AIC       BIC       SIC      HQIC 
-2.209909 -2.148038 -2.210754 -2.184768 

3.1.1 - Chequeo del modelo

acf(residuals(garch_mod)^2)

pacf(residuals(garch_mod)^2)

#1. Test de Portmanteu para residuos estandarizados al cuadrado donde la Ho es que los residuos no est?n correlacionados.

try(
gBox(garch_mod,method="absolut", plot = T)
)
Error in model$call : $ operator not defined for this S4 class

A partir de esta prueba y sumado a la inspección visual se determina que los residuos del modelo Garch estan correlacionados pues el p-value es mayor al punto de corte (0.05) aunque las estacas en los gráficos no son significativas.

fGarch::predict(garch_mod, n.ahead = 6,mse="uncond",plot=TRUE, crit_val=2)
NA

Por último, se observa que el ajuste del modelo en términos de predicción es muy deficiente.

3.2 Redes neuronales

nn_mod<-nnetar(dolares_ts_nd)
summary(nn_mod)
          Length Class        Mode     
x         144    ts           numeric  
m           1    -none-       numeric  
p           1    -none-       numeric  
P           1    -none-       numeric  
scalex      2    -none-       list     
size        1    -none-       numeric  
subset    144    -none-       numeric  
model      20    nnetarmodels list     
nnetargs    0    -none-       list     
fitted    144    ts           numeric  
residuals 144    ts           numeric  
lags        2    -none-       numeric  
series      1    -none-       character
method      1    -none-       character
call        2    -none-       call     
acf(residuals(nn_mod)[!is.na(residuals(nn_mod))]^2)

pacf(residuals(nn_mod)[!is.na(residuals(nn_mod))]^2)

#1. Test de Portmanteu para residuos estandarizados al cuadrado donde la Ho es que los residuos no est?n correlacionados.

gBox(nn_mod,method="absolut", plot = T)

A partir de esta prueba y sumado a la inspección visual se determina que los residuos del modelo Garch estan correlacionados pues el p-value es mayor al punto de corte (0.05) y un par de estacas en los gráficos son significativas.

pred_nn_mod<-forecast::forecast(nn_mod,level = c(95), h=6, bootstrap=TRUE, npaths=10000)
pred_nn_mod

plot(pred_nn_mod)

Finalmente, se observa que aunque mejor que el modelo Garch, el modelo de redes neuronales tampoco tienen un buen ajuste en las predicciones.

3.3 Modelo autoregresivo aditivo no lineal

3.3.1 Encontrar dimensión de encrustación

dimension = estimateEmbeddingDim(dolares_ts_nd, time.lag=1, max.embedding.dim=15,threshold=0.95, do.plot=TRUE)

3.3.2 Modelo

aar_mod <- aar(dolares_ts_nd, m=dimension)
summary(aar_mod)

Non linear autoregressive model

AAR model

Family: gaussian 
Link function: identity 

Formula:
y ~ s(V1.0, bs = "cr") + s(V1..1, bs = "cr") + s(V1..2, bs = "cr") + 
    s(V1..3, bs = "cr") + s(V1..4, bs = "cr") + s(V1..5, bs = "cr") + 
    s(V1..6, bs = "cr") + s(V1..7, bs = "cr") + s(V1..8, bs = "cr")

Estimated degrees of freedom:
8.29 1.00 1.94 1.00 2.95 1.00 2.26 
1.00 1.00  total = 21.44 

GCV score: 0.006481423     

Residuals:
        Min          1Q      Median          3Q         Max 
-0.16838301 -0.04239723  0.00050029  0.04749853  0.18649028 

Fit:
residuals variance = 0.0043,  AIC = -621, MAPE = 168.6%

Family: gaussian 
Link function: identity 

Formula:
y ~ s(V1.0, bs = "cr") + s(V1..1, bs = "cr") + s(V1..2, bs = "cr") + 
    s(V1..3, bs = "cr") + s(V1..4, bs = "cr") + s(V1..5, bs = "cr") + 
    s(V1..6, bs = "cr") + s(V1..7, bs = "cr") + s(V1..8, bs = "cr")

Parametric coefficients:
             Estimate Std. Error t value Pr(>|t|)
(Intercept) 0.0064205  0.0063550  1.0103   0.3145

Approximate significance of smooth terms:
            edf Ref.df      F  p-value   
s(V1.0)  8.2911 8.7922 1.1994 0.276636   
s(V1..1) 1.0000 1.0000 0.9257 0.338013   
s(V1..2) 1.9394 2.4627 0.7609 0.413436   
s(V1..3) 1.0000 1.0000 0.0034 0.953689   
s(V1..4) 2.9511 3.6824 1.5087 0.189160   
s(V1..5) 1.0000 1.0000 0.4893 0.485682   
s(V1..6) 2.2586 2.8659 4.3585 0.006241 **
s(V1..7) 1.0000 1.0000 0.0313 0.859901   
s(V1..8) 1.0000 1.0000 0.2346 0.629058   
---
Signif. codes:  0 ‘***’ 0.001 ‘**’ 0.01 ‘*’ 0.05 ‘.’ 0.1 ‘ ’ 1

R-sq.(adj) =  0.123   Deviance explained = 25.7%
GCV = 0.0064814  Scale est. = 0.0054521  n = 135
plot(aar_mod)

NA

NA

NA

NA

NA

NA

NA

NA

NA

NA

NA

3.3.3 Revision del modelo

e_aar_mod <- residuals(aar_mod)
plot(e_aar_mod)

e_aar_mod <- e_aar_mod[!is.na(e_aar_mod)]
acf(e_aar_mod)

pacf(e_aar_mod)

AIC(aar_mod)
[1] -620.6911
mse(aar_mod)
[1] 0.004299555
MAPE(aar_mod)
[1] 1.686104
#fitted(aar_mod)
#coef(aar_mod)
pred_aar <- predict(aar_mod, n.ahead=6)

autoplot(ts(c(dolares_ts_nd, pred_aar), start = start(dolares_ts_nd), frequency = frequency(dolares_ts_nd)) )

Se observa que las medidas de ajuste (MSE y MAPE) no son malas y la predicción para los 6 periodos es mejor que el modelo Garch pero hay que comparar con los demás para determinar cual obtiene mejor ajuste.

3.4 Modelo STAR (Smooth Transition AutoRegressive)

star_mod <- star(dolares_ts_nd, mTh=c(0,1), control=list(maxit=10000))
Testing linearity...   p-Value =  0.1801151 
The series is linear. Using linear model instead.
summary(star_mod)

Non linear autoregressive model

AR model
Coefficients:
       const        phi.1        phi.2 
 0.007107589 -0.017957086 -0.049583561 

Residuals:
         Min           1Q       Median           3Q          Max 
-0.196202131 -0.050501541 -0.005116169  0.049886545  0.283224845 

Fit:
residuals variance = 0.005981,  AIC = -731, MAPE = 125.4%

Coefficient(s):
        Estimate  Std. Error  t value Pr(>|t|)
const  0.0071076   0.0066029   1.0764   0.2836
phi.1 -0.0179571   0.0838235  -0.2142   0.8307
phi.2 -0.0495836   0.0835235  -0.5936   0.5537
plot(star_mod)

NA

NA

e_star_mod <- residuals(star_mod)
plot(e_star_mod)

e_star_mod <- e_star_mod[!is.na(e_star_mod)]
acf(e_star_mod)

pacf(e_star_mod)

AIC(star_mod)
[1] -731.1572
mse(star_mod)
[1] 0.005981122
MAPE(star_mod)
[1] 1.253908
pred_star <- predict(star_mod, n.ahead=6)

autoplot(ts(c(dolares_ts_nd, pred_star), start = start(dolares_ts_nd), frequency = frequency(dolares_ts_nd)) )

Los indicadores del modelo Star son mejores que los del modelo Aar, tanto el AIC, como el MSE y MAPE. Los resultados del pronóstico parecen ser peores que el modelo AAR y es por esta razón que se procede a revisar los pronósticos de todos los modelos no lineales para determinar el mejor.

4 - Selección del mejor modelo

Una vez teniendo los modelos de suavizamiento exponencial, de regresión y Box-Jenkings (ARIMA) se procede a compararlos en términos de ajuste visual y de indicadores de ajuste para determinar cual es el mejor modelo que pronostique el número de muertes por accidentes de tránsito en Costa Rica.

# Prediccion redes neuronales
f_mod1 <-
  exp(
      log(dolares_ts[145]) + cumsum(pred_nn_mod$mean)
    )

f_mod1_ts = ts(
  f_mod1,
  frequency = 12,
  start = c(2020, 2),
  end = c(2020, 7)
)

# Prediccion modelo aar
f_mod2 <-
  exp(
      log(dolares_ts[145]) + cumsum(pred_aar)
    )

f_mod2_ts = ts(
  f_mod2,
  frequency = 12,
  start = c(2020, 2),
  end = c(2020, 7)
)

# Prediccion modelo Star
f_mod3 <-
  exp(
      log(dolares_ts[145]) + cumsum(pred_star)
    )

f_mod3_ts = ts(
  f_mod3,
  frequency = 12,
  start = c(2020, 2),
  end = c(2020, 7)
)


todos_preds <- cbind(
  Serie = dolares_ts,
  Real = dolares_ts_val,
  Prediccion1 = f_mod1_ts,
  Prediccion2 = f_mod2_ts,
  Prediccion3 = f_mod3_ts
)

# Graficamos
dygraph(todos_preds, main = "Predicción todos los modelos") %>%
dySeries("Serie", label = "Cantidad") %>%
dySeries("Real", label = "Real") %>%
#dySeries("Prediccion1", label = "SES") %>%
#dySeries("Prediccion2", label = "Holt") %>%
dySeries("Prediccion1", label = "Red_neuronal") %>%
dySeries("Prediccion2", label = "AAR") %>%
dySeries("Prediccion3", label = "STAR") %>%
dyAxis("x", label = "Meses") %>% 
dyAxis("y", label = "Accidentes") %>% 
dyOptions(colors = RColorBrewer::brewer.pal(7, "Set1")) %>% 
dyRangeSelector()



acc_todos <- tibble(
  Metodo = c("Red_neuronal", "AAR", "STAR"),
  RMSE = round(
    c(
      forecast::accuracy(f_mod1_ts, dolares_ts_val)[2],
      forecast::accuracy(f_mod2_ts, dolares_ts_val)[2],
      forecast::accuracy(f_mod3_ts, dolares_ts_val)[2]
    ),
    3
  ),
  MAE = round(
    c(
      forecast::accuracy(f_mod1_ts, dolares_ts_val)[3],
      forecast::accuracy(f_mod2_ts, dolares_ts_val)[3],
      forecast::accuracy(f_mod3_ts, dolares_ts_val)[3]
    ),
    3
  ),
  MAPE = round(
    c(
      forecast::accuracy(f_mod1_ts, dolares_ts_val)[5],
      forecast::accuracy(f_mod2_ts, dolares_ts_val)[5],
      forecast::accuracy(f_mod3_ts, dolares_ts_val)[5]
    ),
    3
  )
) 

acc_todos %>% 
  mutate_if(is.numeric, function(x) {
    cell_spec(x, bold = T, 
              color = spec_color(x, end = 0.9, direction = -1),
              font_size = spec_font_size(x, begin = 12,end = 14, scale_from = NA))
  }) %>%
  kable(escape = F, caption = "Medidas de ajuste (Todos los modelos)", digits = 2) %>%
  kable_styling(bootstrap_options = c("striped", "hover", "condensed", "responsive"))

Medidas de ajuste (Todos los modelos)
Metodo RMSE MAE MAPE
Red_neuronal 174.818 141.332 10.069
AAR 146.611 119.596 8.503
STAR 169.26 138.179 9.855

NA

Finalmente, se obtienen los valores de pronostico de 3 modelos a contrastar: Red neuronal, AAR y STAR. Se puede apreciar que el de red neuronal fue el mas alejado de los valores reales. Entre los otros modelos se puede observar que tienen, en términos gráficos, resultados similares aunque difieren al final del periodo de prueba donde el AAR ajusta mejor. Moviendonos al análisis de los indicadores de ajuste se puede ver que el ARR fue el modelo que obtuvo los mejores indicadores y es entonces que se selecciona como el mejor modelo no lineal para predecir el número de autos importados por mes en Costa Rica.

LS0tCnRpdGxlOiAiUiBOb3RlYm9vayIKb3V0cHV0OiBodG1sX25vdGVib29rCi0tLQoKYGBge3J9CmxpYnJhcnkoaGVyZSkKbGlicmFyeShyZWFkeGwpCiNsaWJyYXJ5KHBhcGVSKQojbGlicmFyeShvdXRsaWVycykKbGlicmFyeShrYWJsZUV4dHJhKQojbGlicmFyeShEYXRhRXhwbG9yZXIpCmxpYnJhcnkobHVicmlkYXRlKQpsaWJyYXJ5KGZvcmVjYXN0KQpsaWJyYXJ5KG5sbWUpCiNsaWJyYXJ5KG5vcnRlc3QpCmxpYnJhcnkoZ2dmb3J0aWZ5KQpsaWJyYXJ5KGR5Z3JhcGhzKQojbGlicmFyeShzZWFzb25hbCkKI2xpYnJhcnkoc2Vhc29uYWx2aWV3KQoKbGlicmFyeShub25saW5lYXJUc2VyaWVzKQpsaWJyYXJ5KGZOb25saW5lYXIpCmxpYnJhcnkoZkdhcmNoKQpsaWJyYXJ5KFRTQSkKbGlicmFyeSh0c0R5bikKCmxpYnJhcnkodGlkeXZlcnNlKQoKYGBgCgpSdXRhcwpgYGB7cn0KcmF3X2RhdGEgPC0gaGVyZSgiZGF0YSIsICJyYXciKQppbnRlcmltX2RhdGEgPC0gaGVyZSgiZGF0YSIsICJpbnRlcmltIikKZmluYWxfZGF0YSA8LSBoZXJlKCJkYXRhIiwgInByb2Nlc3NlZCIpCgpgYGAKCkxleWVuZG8gYmFzZSBkZSBkYXRvcwpgYGB7cn0KYmFzZSA8LSByZWFkX2V4Y2VsKHBhc3RlMChyYXdfZGF0YSwiL0Jhc2UgRGF0b3MueGxzeCIpLCAKICAgIGNvbF90eXBlcyA9IGMoInRleHQiLCAibnVtZXJpYyIsICJudW1lcmljIikpCgpoZWFkKGJhc2UpCmBgYAoKRXh0cmF5ZW5kbyBsYSBiYXNlIGRlIGRvbGFyZXMgeSBkZSBkb2xhcmVzCmBgYHtyfQpkb2xhcmVzIDwtIGRhdGFfZnJhbWUoZGF0ZSA9IGJhc2UkYEFjdGl2byBuZXRvYCwKICAgICAgICAgICAgICAgICAgZG9sID0gIGFzLmRvdWJsZShiYXNlJFVTRCkpICU+JQogIG11dGF0ZShkYXRlID0geW1kKHBhc3RlMChkYXRlLCAiLTAxIikpKSAlPiUKICBtdXRhdGUoeWVhciA9IGFzLmZhY3Rvcih5ZWFyKGRhdGUpKSwKICAgICAgICAgbW9udGggPSBhcy5mYWN0b3IobW9udGgoZGF0ZSkpKQoKaGVhZChkb2xhcmVzKQpgYGAKCkNvbnZpcnRpZW5kbyBsb3MgZGF0b3MgYSBzZXJpZXMgZGUgdGllbXBvCmBgYHtyfQojIGRvbGFyZXMKCiMgNiBwZXJpb2RvcyBwYXJhIHV0aWxpemFyIGEgbW9kbyBkZSB2YWxpZGFjacOzbgpkb2xhcmVzX3ZhbCA8LSBkb2xhcmVzICU+JSAKICBzbGljZV90YWlsKG4gPSA2KQoKIyBTZXJpZSBjb21wbGV0YSBwYXJhIGVsIGFuYWxpc2lzIGV4cGxvcmF0b3Jpbwpkb2xhcmVzX2Z1bGwgPC0gZG9sYXJlcwoKIyAxMCBhw7FvcyBkZSBkYXRvcyBwYXJhIG1vZGVsYXIKZG9sYXJlcyA8LSBkb2xhcmVzICU+JSAKICBmaWx0ZXIoZGF0ZT4iMjAwNy0xMi0wMSIgJiBkYXRlPD0iMjAyMC0wMS0wMSIpCgojIE9iamV0b3MgdHMgdGFudG8gcGFyYSBsYSBzZXJpZSBjb21wbGV0YSBjb21vIHBhcmEgbGEgc2VyaWUgZGUgbW9kZWxhZG8KZG9sYXJlc190c19mdWxsIDwtIHRzKGRvbGFyZXNfZnVsbCRkb2wsIHN0YXJ0ID0gYygyMDAxLDIpLCBmcmVxdWVuY3kgPSAxMikKZG9sYXJlc190cyA8LSB0cyhkb2xhcmVzJGRvbCwgc3RhcnQgPSBjKDIwMDgsMSksIGZyZXF1ZW5jeSA9IDEyKQpkb2xhcmVzX3RzX3ZhbCA8LSB0YWlsKGRvbGFyZXNfdHNfZnVsbCwgNikKCmBgYAoKIyAxIENvbXByb2JhY2lvbiBkZSBsaW5lYWxpZGFkIGRlIGxhIHNlcmllCgojIyAxLjEgUHJ1ZWJhIGRlIGxpbmVhbGlkYWQgZGUgbGEgbWVkaWEKCmBgYHtyfQoKIyBOdWxsIGh5cG90aGVzaXM6IExpbmVhcml0eSBpbiAibWVhbiIKdG5uVGVzdChkb2xhcmVzX3RzLCBsYWcgPSAxLCB0aXRsZSA9IE5VTEwsIGRlc2NyaXB0aW9uID0gTlVMTCkKCmBgYApMYSBoaXDDs3Rlc2lzIG51bGEgZGVsIFRlcmFlc3ZpcnRhIE5ldXJhbCBOZXR3b3JrIFRlc3QgZXMgcXVlIGxhIG1lZGlhIGRlIGxhIHNlcmllIGVzIGxpbmVhbC4gQWwgcmVjaGF6YXJzZSBsYSBoaXDDs3Rlc2lzIGNvbiB1bmEgY29uZmlhbnphIGRlbCA5NSUgc2UgcHVlZGUgZGVjaXIgcXVlIGxhIHNlcmllIGVzIG5vIGxpbmVhbC4KCiMgMS4yIFBydWViYSBwYXJhIGRldGVybWluYXIgc2kgZXMgY2FvdGljYSBvIG5vCgpgYGB7cn0Kb3B0aW9ucyhtYXgucHJpbnQ9MTAwMDAwMCkKcnFhLmFuYWx5c2lzPXJxYSh0aW1lLnNlcmllcyA9IGRvbGFyZXNfdHMsIGVtYmVkZGluZy5kaW09MSwgdGltZS5sYWc9MSxyYWRpdXM9MC4wMSxsbWluPTIsdm1pbj0yLGRvLnBsb3Q9VFJVRSxkaXN0YW5jZVRvQm9yZGVyPTIpCgpgYGAKIyAyLiBJbnNwZWNjacOzbgpgYGB7cn0KIyBVbmEgZm9ybWEgdmlzdWFsIGRlIGVtcGV6YXIgYSByZXZpc2FyIHNpIGV4aXN0ZW4gbyBubyBjbHVzdGVycyBkZSB2b2xhdGlsaWRhZCAKCmRvbGFyZXNfdHNfbmQgPC1kaWZmKGxvZyhkb2xhcmVzX3RzKSkKCgpkb2xhcmVzX3RzX25kMjwtZG9sYXJlc190c19uZC1tZWFuKGRvbGFyZXNfdHNfbmQpICMgRXMgZWwgY2FtYmlvIHJlbGF0aXZvIGFqdXN0YWRvIHBvciBsYSBtZWRpYSBlbiBlbCB0aXBvIGRlIGNhbWJpbyAKI2RvbGFyZXNfdHNfbmQyCgpkb2xhcmVzX3RzX25kMzwtZG9sYXJlc190c19uZDJeMiAjIE1lZGlkYSBkZSBsYSB2b2xhdGlsaWRhZC4gQWwgc2VyIHVuYSBjYW50aWRhZCBhbCBjdWFkcmFkbywgc3UgdmFsb3Igc2VyPyBhbHRvIGVuIHBlcmlvZG9zIGVuIHF1ZSBzZSBleHBlcmltZW50ZW4gZ3JhbmRlcyBjYW1iaW9zICB5IGNvbXBhcmF0aXZhbWVudGUgcGVxdWU/byBjdWFuZG8gc3VjZWRhbiBjYW1iaW9zIG1vZGVzdG9zIGVuIGxvcyBwcmVjaW9zIGRlIGRpY2hvcyBiaWVuZXMuIAoKcGxvdChkb2xhcmVzX3RzX25kMykKYGBgCgpFbiBlc3RlIGdyw6FmaWNvIGRlIGxhIHNlcmllIGFqdXN0YWRhIHBvciBsYSBtZWRpYSB5IGVsZXZhZGEgYWwgY3VhZHJhZG8gc2UgcHJldGVuZGUgb2JzZXJ2YXIgCmxhIHZvbGF0aWxpZGFkIGRlIGxhIG1pc21hLiBBbCBzZXIgdW5hIGNhbnRpZGFkIGFsIGN1YWRyYWRvLCBjdWFuZG8gc3UgdmFsb3Igc2VzIGFsdG8gZW4gaW5kaWNhIHF1ZSBzZSBleHBlcmltZW50ZW4gZ3JhbmRlcyBjYW1iaW9zICB5IGNvbXBhcmF0aXZhbWVudGUgcGVxdWXDsW8gY3VhbmRvIHN1Y2VkYW4gY2FtYmlvcyBtb2Rlc3RvcyBlbiBsb3MgcHJlY2lvcyBkZSBkaWNob3MgYmllbmVzLiBFcyBhc8OtIHF1ZSBlcyBjbGFybyBxdWUgZGVzcHXDqXMgZGVsIDIwMDgsIGFscmVkZWRvciBkZWwgMjAxMCB5IGVuIGVsIDIwMTMgZXMKZG9uZGUgc2UgcHJlc2VudGFuIGxvcyBtYXlvcmVzIGNhbWJpb3MgY29tcGFyYXRpdm9zIHkgZXMgZWZlY3RpdmFtZW50ZSBlbiBkb25kZSBzZSAKaWRlbnRpZmljYW4gY3Jpc2lzIGVjb27Ds21pY2FzIHF1ZSBsbGV2YXJvbiBhIGxhIGdlbnRlIGEgYnVzY2FyIGVzdGFzIG9wY2lvbmVzIGRlIGludmVyc2nDs24uIAoKYGBge3J9CnBsb3QoZG9sYXJlc190c19uZCx0eXBlPSJsIik7IGFibGluZShoPTApCnFxbm9ybShkb2xhcmVzX3RzX25kKTsgcXFsaW5lKGRvbGFyZXNfdHNfbmQpCmFjZihhcy52ZWN0b3IoZG9sYXJlc190c19uZCkpCnBhY2YoYXMudmVjdG9yKGRvbGFyZXNfdHNfbmQpKQoKYGBgCgpgYGB7cn0KI0dyYWZpY29zIHBhcmEgY29ycm9ib3JhciBpbmRlcGVuZGVuY2lhKHJ1aWRvIGJsYW5jbykgcXVlIGVzIGRpZmVyZW50ZSBkZSBjb3JyZWxhY2k/biAobWVkaWRhIGRlIGRlcGVuZGVuY2lhIGxpbmVhbCkuCiNIbzpyZXNpZHVvcyBzb24gaW5kZXBlbmRpZW50ZXMKCmFjZihkb2xhcmVzX3RzX25kXjIpCnBhY2YoZG9sYXJlc190c19uZF4yKQoKYWNmKGFicyhkb2xhcmVzX3RzX25kKSkKcGFjZihhYnMoZG9sYXJlc190c19uZCkpCmBgYAoKRW4gZXN0ZSBjYXNvIGFsZ3VuYXMgZXN0YWNhcyBzZSBzYWxlbiAoYWxndW5hcyBhdXRvY29ycmVsYWNpb25lcyBzb24gc2lnbmlmaWNhdGl2YXMpIHkgcG9yIHRhbnRvIGxvcyByZW5kaW1pZW50b3Mgbm8gc29uIGluZGVwZW5kaWVudGVzIG5pIGlkZW50aWNhbWVudGUgZGlzdHJpYnVpZG9zLgpMYXMgYXV0b2NvcnJlbGFjaW9uZXMgc2lnbmlmaWNhdGl2YXMgZGUgbG9zIHJlbmRpbWllbnRvcyBhbCBjdWFkcmFkbyBvIGVuIHTDqXJtaW5vcyBhYnNvbHV0b3MgcmVmbGVqYW4gbGEgZXhpc3RlbmNpYSBkZSBhZ3J1cGFtaWVudG8gZGUgdm9sYXRpbGlkYWQuCgpgYGB7cn0KI01jTGVvZC5MaSAoQm94LUxqdW5nKSB0ZXN0IG11ZXN0cmEgdW5hIGV2aWRlbmNpYSBmdWVydGUgZGUgaGV0ZXJvY2VkYXN0aWNpZGFkIGNvbmRpY2lvbmFsKHAtdmFsdWUgc2lnbmlmaWNhdGl2bykuIApUU0E6Ok1jTGVvZC5MaS50ZXN0KHk9ZG9sYXJlc190c19uZCkKCmBgYAogQWRlbcOhcywgYSBwYXJ0aXIgZGVsIHRlc3QgZGUgTWNMZW9kLkxpIChCb3gtTGp1bmcpIHNlIG11ZXN0cmEgZXZpZGVuY2lhIGZ1ZXJ0ZSBkZSBoZXRlcm9jZWRhc3RpY2lkYWQgY29uZGljaW9uYWwgeWEgcXVlIHZhcmlvcyBwLXZhbHVlIHNvbiBzaWduaWZpY2F0aXZvcy4KIAojIDMuIE1vZGVsb3MKCiMjIDMuMSBHQVJDSAoKYGBge3J9CmdhcmNoX21vZCA8LSBnYXJjaEZpdCh+YXJtYSgwLDApK2dhcmNoKDEsMSksIGRhdGE9ZG9sYXJlc190c19uZCxpbmNsdWRlLm1lYW4gPSBGQUxTRSkKCnN1bW1hcnkoZ2FyY2hfbW9kKQpgYGAKCiMjIyAzLjEuMSAtIENoZXF1ZW8gZGVsIG1vZGVsbwoKYGBge3J9CmFjZihyZXNpZHVhbHMoZ2FyY2hfbW9kKV4yKQpwYWNmKHJlc2lkdWFscyhnYXJjaF9tb2QpXjIpCgpgYGAKCmBgYHtyfQojMS4gVGVzdCBkZSBQb3J0bWFudGV1IHBhcmEgcmVzaWR1b3MgZXN0YW5kYXJpemFkb3MgYWwgY3VhZHJhZG8gZG9uZGUgbGEgSG8gZXMgcXVlIGxvcyByZXNpZHVvcyBubyBlc3Q/biBjb3JyZWxhY2lvbmFkb3MuCgp0cnkoCmdCb3goZ2FyY2hfbW9kLG1ldGhvZD0iYWJzb2x1dCIsIHBsb3QgPSBUKQopCgpgYGAKIAogQSBwYXJ0aXIgZGUgZXN0YSBwcnVlYmEgeSBzdW1hZG8gYSBsYSBpbnNwZWNjacOzbiB2aXN1YWwgc2UgZGV0ZXJtaW5hIHF1ZSBsb3MgcmVzaWR1b3MgZGVsIG1vZGVsbyBHYXJjaCBlc3RhbiBjb3JyZWxhY2lvbmFkb3MgcHVlcyBlbCBwLXZhbHVlIGVzIG1heW9yIGFsIHB1bnRvIGRlIGNvcnRlICgwLjA1KSBhdW5xdWUgbGFzIGVzdGFjYXMgZW4gbG9zCiBncsOhZmljb3Mgbm8gc29uIHNpZ25pZmljYXRpdmFzLgogCmBgYHtyfQpmR2FyY2g6OnByZWRpY3QoZ2FyY2hfbW9kLCBuLmFoZWFkID0gNixtc2U9InVuY29uZCIscGxvdD1UUlVFLCBjcml0X3ZhbD0yKQoKYGBgCiBQb3Igw7psdGltbywgc2Ugb2JzZXJ2YSBxdWUgZWwgYWp1c3RlIGRlbCBtb2RlbG8gZW4gdMOpcm1pbm9zIGRlIHByZWRpY2Npw7NuIGVzIG11eSBkZWZpY2llbnRlLgogCiMjIDMuMiBSZWRlcyBuZXVyb25hbGVzCiAKYGBge3J9Cm5uX21vZDwtbm5ldGFyKGRvbGFyZXNfdHNfbmQpCnN1bW1hcnkobm5fbW9kKQoKYGBgCgoKYGBge3J9CmFjZihyZXNpZHVhbHMobm5fbW9kKVshaXMubmEocmVzaWR1YWxzKG5uX21vZCkpXV4yKQpwYWNmKHJlc2lkdWFscyhubl9tb2QpWyFpcy5uYShyZXNpZHVhbHMobm5fbW9kKSldXjIpCgpgYGAKYGBge3J9CiMxLiBUZXN0IGRlIFBvcnRtYW50ZXUgcGFyYSByZXNpZHVvcyBlc3RhbmRhcml6YWRvcyBhbCBjdWFkcmFkbyBkb25kZSBsYSBIbyBlcyBxdWUgbG9zIHJlc2lkdW9zIG5vIGVzdD9uIGNvcnJlbGFjaW9uYWRvcy4KCmdCb3gobm5fbW9kLG1ldGhvZD0iYWJzb2x1dCIsIHBsb3QgPSBUKQoKYGBgCiAKIEEgcGFydGlyIGRlIGVzdGEgcHJ1ZWJhIHkgc3VtYWRvIGEgbGEgaW5zcGVjY2nDs24gdmlzdWFsIHNlIGRldGVybWluYSBxdWUgbG9zIHJlc2lkdW9zIGRlbCBtb2RlbG8gR2FyY2ggZXN0YW4gY29ycmVsYWNpb25hZG9zIHB1ZXMgZWwgcC12YWx1ZSBlcyBtYXlvciBhbCBwdW50byBkZSBjb3J0ZSAoMC4wNSkgeSB1biBwYXIgZGUgZXN0YWNhcyBlbiBsb3MKIGdyw6FmaWNvcyBzb24gc2lnbmlmaWNhdGl2YXMuCgpgYGB7cn0KcHJlZF9ubl9tb2Q8LWZvcmVjYXN0Ojpmb3JlY2FzdChubl9tb2QsbGV2ZWwgPSBjKDk1KSwgaD02LCBib290c3RyYXA9VFJVRSwgbnBhdGhzPTEwMDAwKQpwcmVkX25uX21vZAoKcGxvdChwcmVkX25uX21vZCkKYGBgCkZpbmFsbWVudGUsIHNlIG9ic2VydmEgcXVlIGF1bnF1ZSBtZWpvciBxdWUgZWwgbW9kZWxvIEdhcmNoLCBlbCBtb2RlbG8gZGUgcmVkZXMgbmV1cm9uYWxlcwp0YW1wb2NvIHRpZW5lbiB1biBidWVuIGFqdXN0ZSBlbiBsYXMgcHJlZGljY2lvbmVzLiAKCiMjIDMuMyBNb2RlbG8gYXV0b3JlZ3Jlc2l2byBhZGl0aXZvIG5vIGxpbmVhbAoKIyMjIDMuMy4xIEVuY29udHJhciBkaW1lbnNpw7NuIGRlIGVuY3J1c3RhY2nDs24KCmBgYHtyfQpkaW1lbnNpb24gPSBlc3RpbWF0ZUVtYmVkZGluZ0RpbShkb2xhcmVzX3RzX25kLCB0aW1lLmxhZz0xLCBtYXguZW1iZWRkaW5nLmRpbT0xNSx0aHJlc2hvbGQ9MC45NSwgZG8ucGxvdD1UUlVFKQoKYGBgCiMjIyAzLjMuMiBNb2RlbG8KYGBge3J9CmFhcl9tb2QgPC0gYWFyKGRvbGFyZXNfdHNfbmQsIG09ZGltZW5zaW9uKQpzdW1tYXJ5KGFhcl9tb2QpCnBsb3QoYWFyX21vZCkKCmBgYAojIyMgMy4zLjMgUmV2aXNpb24gZGVsIG1vZGVsbwoKYGBge3J9CmVfYWFyX21vZCA8LSByZXNpZHVhbHMoYWFyX21vZCkKcGxvdChlX2Fhcl9tb2QpCmVfYWFyX21vZCA8LSBlX2Fhcl9tb2RbIWlzLm5hKGVfYWFyX21vZCldCmFjZihlX2Fhcl9tb2QpCnBhY2YoZV9hYXJfbW9kKQoKYGBgCgpgYGB7cn0KQUlDKGFhcl9tb2QpCm1zZShhYXJfbW9kKQpNQVBFKGFhcl9tb2QpCiNmaXR0ZWQoYWFyX21vZCkKI2NvZWYoYWFyX21vZCkKCmBgYAoKCmBgYHtyfQpwcmVkX2FhciA8LSBwcmVkaWN0KGFhcl9tb2QsIG4uYWhlYWQ9NikKCmF1dG9wbG90KHRzKGMoZG9sYXJlc190c19uZCwgcHJlZF9hYXIpLCBzdGFydCA9IHN0YXJ0KGRvbGFyZXNfdHNfbmQpLCBmcmVxdWVuY3kgPSBmcmVxdWVuY3koZG9sYXJlc190c19uZCkpICkKCmBgYApTZSBvYnNlcnZhIHF1ZSBsYXMgbWVkaWRhcyBkZSBhanVzdGUgKE1TRSB5IE1BUEUpIG5vIHNvbiBtYWxhcyB5IGxhIHByZWRpY2Npw7NuIHBhcmEgbG9zIDYgcGVyaW9kb3MKZXMgbWVqb3IgcXVlIGVsIG1vZGVsbyBHYXJjaCBwZXJvIGhheSBxdWUgY29tcGFyYXIgY29uIGxvcyBkZW3DoXMgcGFyYSBkZXRlcm1pbmFyIGN1YWwgb2J0aWVuZSBtZWpvciBhanVzdGUuCgojIyAzLjQgTW9kZWxvIFNUQVIgKFNtb290aCBUcmFuc2l0aW9uIEF1dG9SZWdyZXNzaXZlKQoKCgpgYGB7cn0Kc3Rhcl9tb2QgPC0gc3Rhcihkb2xhcmVzX3RzX25kLCBtVGg9YygwLDEpLCBjb250cm9sPWxpc3QobWF4aXQ9MTAwMDApKQpzdW1tYXJ5KHN0YXJfbW9kKQpwbG90KHN0YXJfbW9kKQpgYGAKCgpgYGB7cn0KZV9zdGFyX21vZCA8LSByZXNpZHVhbHMoc3Rhcl9tb2QpCnBsb3QoZV9zdGFyX21vZCkKZV9zdGFyX21vZCA8LSBlX3N0YXJfbW9kWyFpcy5uYShlX3N0YXJfbW9kKV0KYWNmKGVfc3Rhcl9tb2QpCnBhY2YoZV9zdGFyX21vZCkKYGBgCgpgYGB7cn0KQUlDKHN0YXJfbW9kKQptc2Uoc3Rhcl9tb2QpCk1BUEUoc3Rhcl9tb2QpCgoKYGBgCgoKYGBge3J9CnByZWRfc3RhciA8LSBwcmVkaWN0KHN0YXJfbW9kLCBuLmFoZWFkPTYpCgphdXRvcGxvdCh0cyhjKGRvbGFyZXNfdHNfbmQsIHByZWRfc3RhciksIHN0YXJ0ID0gc3RhcnQoZG9sYXJlc190c19uZCksIGZyZXF1ZW5jeSA9IGZyZXF1ZW5jeShkb2xhcmVzX3RzX25kKSkgKQoKYGBgCgpMb3MgaW5kaWNhZG9yZXMgZGVsIG1vZGVsbyBTdGFyIHNvbiBtZWpvcmVzIHF1ZSBsb3MgZGVsIG1vZGVsbyBBYXIsIHRhbnRvIGVsIEFJQywgY29tbyBlbCBNU0UgeSBNQVBFLiAKTG9zIHJlc3VsdGFkb3MgZGVsIHByb27Ds3N0aWNvIHBhcmVjZW4gc2VyIHBlb3JlcyBxdWUgZWwgbW9kZWxvIEFBUiB5IGVzIHBvciBlc3RhIHJhesOzbiBxdWUgc2UgcHJvY2VkZSBhIApyZXZpc2FyIGxvcyBwcm9uw7NzdGljb3MgZGUgdG9kb3MgbG9zIG1vZGVsb3Mgbm8gbGluZWFsZXMgcGFyYSBkZXRlcm1pbmFyIGVsIG1lam9yLiAKCiMgNCAtIFNlbGVjY2nDs24gZGVsIG1lam9yIG1vZGVsbwoKVW5hIHZleiB0ZW5pZW5kbyBsb3MgbW9kZWxvcyBkZSBzdWF2aXphbWllbnRvIGV4cG9uZW5jaWFsLCBkZSByZWdyZXNpw7NuIHkgQm94LUplbmtpbmdzIChBUklNQSkgc2UgcHJvY2VkZSBhIGNvbXBhcmFybG9zIGVuIHTDqXJtaW5vcyBkZSBhanVzdGUgdmlzdWFsIHkgZGUgaW5kaWNhZG9yZXMgZGUgYWp1c3RlIHBhcmEgZGV0ZXJtaW5hciBjdWFsIGVzIGVsIG1lam9yIG1vZGVsbyBxdWUgcHJvbm9zdGlxdWUgZWwgbsO6bWVybyBkZSBtdWVydGVzIHBvciBhY2NpZGVudGVzIGRlIHRyw6Fuc2l0byBlbiBDb3N0YSBSaWNhLiAKCgpgYGB7ciAgd2FybmluZz1GQUxTRX0KIyBQcmVkaWNjaW9uIHJlZGVzIG5ldXJvbmFsZXMKZl9tb2QxIDwtCiAgZXhwKAogICAgICBsb2coZG9sYXJlc190c1sxNDVdKSArIGN1bXN1bShwcmVkX25uX21vZCRtZWFuKQogICAgKQoKZl9tb2QxX3RzID0gdHMoCiAgZl9tb2QxLAogIGZyZXF1ZW5jeSA9IDEyLAogIHN0YXJ0ID0gYygyMDIwLCAyKSwKICBlbmQgPSBjKDIwMjAsIDcpCikKCiMgUHJlZGljY2lvbiBtb2RlbG8gYWFyCmZfbW9kMiA8LQogIGV4cCgKICAgICAgbG9nKGRvbGFyZXNfdHNbMTQ1XSkgKyBjdW1zdW0ocHJlZF9hYXIpCiAgICApCgpmX21vZDJfdHMgPSB0cygKICBmX21vZDIsCiAgZnJlcXVlbmN5ID0gMTIsCiAgc3RhcnQgPSBjKDIwMjAsIDIpLAogIGVuZCA9IGMoMjAyMCwgNykKKQoKIyBQcmVkaWNjaW9uIG1vZGVsbyBTdGFyCmZfbW9kMyA8LQogIGV4cCgKICAgICAgbG9nKGRvbGFyZXNfdHNbMTQ1XSkgKyBjdW1zdW0ocHJlZF9zdGFyKQogICAgKQoKZl9tb2QzX3RzID0gdHMoCiAgZl9tb2QzLAogIGZyZXF1ZW5jeSA9IDEyLAogIHN0YXJ0ID0gYygyMDIwLCAyKSwKICBlbmQgPSBjKDIwMjAsIDcpCikKCgp0b2Rvc19wcmVkcyA8LSBjYmluZCgKICBTZXJpZSA9IGRvbGFyZXNfdHMsCiAgUmVhbCA9IGRvbGFyZXNfdHNfdmFsLAogIFByZWRpY2Npb24xID0gZl9tb2QxX3RzLAogIFByZWRpY2Npb24yID0gZl9tb2QyX3RzLAogIFByZWRpY2Npb24zID0gZl9tb2QzX3RzCikKCiMgR3JhZmljYW1vcwpkeWdyYXBoKHRvZG9zX3ByZWRzLCBtYWluID0gIlByZWRpY2Npw7NuIHRvZG9zIGxvcyBtb2RlbG9zIikgJT4lCmR5U2VyaWVzKCJTZXJpZSIsIGxhYmVsID0gIkNhbnRpZGFkIikgJT4lCmR5U2VyaWVzKCJSZWFsIiwgbGFiZWwgPSAiUmVhbCIpICU+JQojZHlTZXJpZXMoIlByZWRpY2Npb24xIiwgbGFiZWwgPSAiU0VTIikgJT4lCiNkeVNlcmllcygiUHJlZGljY2lvbjIiLCBsYWJlbCA9ICJIb2x0IikgJT4lCmR5U2VyaWVzKCJQcmVkaWNjaW9uMSIsIGxhYmVsID0gIlJlZF9uZXVyb25hbCIpICU+JQpkeVNlcmllcygiUHJlZGljY2lvbjIiLCBsYWJlbCA9ICJBQVIiKSAlPiUKZHlTZXJpZXMoIlByZWRpY2Npb24zIiwgbGFiZWwgPSAiU1RBUiIpICU+JQpkeUF4aXMoIngiLCBsYWJlbCA9ICJNZXNlcyIpICU+JSAKZHlBeGlzKCJ5IiwgbGFiZWwgPSAiQWNjaWRlbnRlcyIpICU+JSAKZHlPcHRpb25zKGNvbG9ycyA9IFJDb2xvckJyZXdlcjo6YnJld2VyLnBhbCg3LCAiU2V0MSIpKSAlPiUgCmR5UmFuZ2VTZWxlY3RvcigpCgoKYWNjX3RvZG9zIDwtIHRpYmJsZSgKICBNZXRvZG8gPSBjKCJSZWRfbmV1cm9uYWwiLCAiQUFSIiwgIlNUQVIiKSwKICBSTVNFID0gcm91bmQoCiAgICBjKAogICAgICBmb3JlY2FzdDo6YWNjdXJhY3koZl9tb2QxX3RzLCBkb2xhcmVzX3RzX3ZhbClbMl0sCiAgICAgIGZvcmVjYXN0OjphY2N1cmFjeShmX21vZDJfdHMsIGRvbGFyZXNfdHNfdmFsKVsyXSwKICAgICAgZm9yZWNhc3Q6OmFjY3VyYWN5KGZfbW9kM190cywgZG9sYXJlc190c192YWwpWzJdCiAgICApLAogICAgMwogICksCiAgTUFFID0gcm91bmQoCiAgICBjKAogICAgICBmb3JlY2FzdDo6YWNjdXJhY3koZl9tb2QxX3RzLCBkb2xhcmVzX3RzX3ZhbClbM10sCiAgICAgIGZvcmVjYXN0OjphY2N1cmFjeShmX21vZDJfdHMsIGRvbGFyZXNfdHNfdmFsKVszXSwKICAgICAgZm9yZWNhc3Q6OmFjY3VyYWN5KGZfbW9kM190cywgZG9sYXJlc190c192YWwpWzNdCiAgICApLAogICAgMwogICksCiAgTUFQRSA9IHJvdW5kKAogICAgYygKICAgICAgZm9yZWNhc3Q6OmFjY3VyYWN5KGZfbW9kMV90cywgZG9sYXJlc190c192YWwpWzVdLAogICAgICBmb3JlY2FzdDo6YWNjdXJhY3koZl9tb2QyX3RzLCBkb2xhcmVzX3RzX3ZhbClbNV0sCiAgICAgIGZvcmVjYXN0OjphY2N1cmFjeShmX21vZDNfdHMsIGRvbGFyZXNfdHNfdmFsKVs1XQogICAgKSwKICAgIDMKICApCikgCgphY2NfdG9kb3MgJT4lIAogIG11dGF0ZV9pZihpcy5udW1lcmljLCBmdW5jdGlvbih4KSB7CiAgICBjZWxsX3NwZWMoeCwgYm9sZCA9IFQsIAogICAgICAgICAgICAgIGNvbG9yID0gc3BlY19jb2xvcih4LCBlbmQgPSAwLjksIGRpcmVjdGlvbiA9IC0xKSwKICAgICAgICAgICAgICBmb250X3NpemUgPSBzcGVjX2ZvbnRfc2l6ZSh4LCBiZWdpbiA9IDEyLGVuZCA9IDE0LCBzY2FsZV9mcm9tID0gTkEpKQogIH0pICU+JQogIGthYmxlKGVzY2FwZSA9IEYsIGNhcHRpb24gPSAiTWVkaWRhcyBkZSBhanVzdGUgKFRvZG9zIGxvcyBtb2RlbG9zKSIsIGRpZ2l0cyA9IDIpICU+JQogIGthYmxlX3N0eWxpbmcoYm9vdHN0cmFwX29wdGlvbnMgPSBjKCJzdHJpcGVkIiwgImhvdmVyIiwgImNvbmRlbnNlZCIsICJyZXNwb25zaXZlIikpCgpgYGAKCkZpbmFsbWVudGUsIHNlIG9idGllbmVuIGxvcyB2YWxvcmVzIGRlIHByb25vc3RpY28gZGUgMyBtb2RlbG9zIGEgY29udHJhc3RhcjogUmVkIG5ldXJvbmFsLCBBQVIgeSBTVEFSLiBTZSBwdWVkZSBhcHJlY2lhciBxdWUgZWwgZGUgcmVkIG5ldXJvbmFsIGZ1ZSBlbCBtYXMgYWxlamFkbyBkZSBsb3MgdmFsb3JlcyByZWFsZXMuIEVudHJlIGxvcyBvdHJvcyBtb2RlbG9zIHNlIHB1ZWRlIG9ic2VydmFyIHF1ZSB0aWVuZW4sIGVuIHTDqXJtaW5vcyBncsOhZmljb3MsIHJlc3VsdGFkb3Mgc2ltaWxhcmVzIGF1bnF1ZSBkaWZpZXJlbiBhbCBmaW5hbCBkZWwgcGVyaW9kbyBkZSBwcnVlYmEgZG9uZGUgZWwgQUFSIGFqdXN0YSBtZWpvci4gTW92aWVuZG9ub3MgYWwgYW7DoWxpc2lzIGRlIGxvcyBpbmRpY2Fkb3JlcyBkZSBhanVzdGUgc2UgcHVlZGUgdmVyIHF1ZSBlbCBBUlIgZnVlIGVsIG1vZGVsbyBxdWUgb2J0dXZvIGxvcyBtZWpvcmVzIGluZGljYWRvcmVzICB5IGVzIGVudG9uY2VzIHF1ZSBzZSBzZWxlY2Npb25hIGNvbW8gZWwgbWVqb3IgbW9kZWxvIG5vIGxpbmVhbCBwYXJhIHByZWRlY2lyIGVsIG7Dum1lcm8gZGUgYXV0b3MgaW1wb3J0YWRvcyBwb3IgbWVzIGVuIENvc3RhIFJpY2EuIAoKCgoK